Formal Requirement Verification of a Swedish Railway Interlocking System
- Författare
- Technical University of Denmark Jakob Lyng Petersen
- (Jakob Lyng Petersen.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Information Technology, Technical University of Denmark | 1997 | Danmark, Lyngby | 37 sidor. ill. |